5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980 |
Pubbl/distr/stampa | Springer Berlin Heidelberg, 1980 |
Descrizione fisica | 1 online resource |
Altri autori (Persone) |
BibelWolfgang
KowalskiRobert |
Soggetto topico |
Mathematics
Mathematical logic |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465762203316 |
Springer Berlin Heidelberg, 1980 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fundamentals of Artificial Intelligence : An advanced course / Edited by W.Bibel and Ph. Jorrand |
Autore | Bibel, Wolfgang |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1987 |
Disciplina | 510.78 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
ISBN | 3-540-18265-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001095830403321 |
Bibel, Wolfgang | ||
Berlin [etc.] : Springer-Verlag, 1987 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Fundamentals of Artificial Intelligence [[electronic resource] ] : An Advanced Course / / by Wolfgang Bibel, A.W. Biermann, J.P. Delgrande, G. Huet, Philippe Jorrand, J. Mylopoulos, E. Shapiro, M.E. Stickel ; edited by Wolfgang Bibel, Philippe Jorrand |
Autore | Bibel Wolfgang |
Edizione | [1st ed. 1986.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 |
Descrizione fisica | 1 online resource (VII, 314 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Artificial intelligence
Computer programming Computer logic Mathematical logic Artificial Intelligence Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages |
ISBN | 3-540-39875-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Knowledge representation: Features of knowledge -- Deduction and computation -- An introduction to automated deduction -- Fundamental mechanisms in machine learning and inductive inference -- Methods of automated reasoning -- Term rewriting as a basis for the design of a functional and parallel programming language -- Concurrent Prolog: A progress report. |
Record Nr. | UNISA-996465937303316 |
Bibel Wolfgang | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|